/*
 * $QNXLicenseC:
 * Copyright 2007, QNX Software Systems. All Rights Reserved.
 * 
 * You must obtain a written license from and pay applicable license fees to QNX 
 * Software Systems before you may reproduce, modify or distribute this software, 
 * or any work that includes all or part of this software.   Free development 
 * licenses are available for evaluation and non-commercial purposes.  For more 
 * information visit http://licensing.qnx.com or email licensing@qnx.com.
 *  
 * This file may contain contributions from others.  Please review this entire 
 * file for other proprietary rights or license notices, as well as the QNX 
 * Development Suite License Guide at http://licensing.qnx.com/license-guide/ 
 * for other information.
 * $
 */

#include "externs.h"

extern void (*send_ipi_rtn)(struct syspage_entry *, unsigned, int, unsigned *);

void rdecl
send_ipi(int cpu, int cmd) {
	send_ipi_rtn(_syspage_ptr, cpu, cmd, (unsigned *)&ipicmds[cpu]);
}

__SRCVERSION("smp_send_ipi.c $Rev: 153052 $");
